Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
441	Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-09 11:24:01 Procedural programming languages Cross-platform software Theoretical computer science Logic in computer science Type theory Type system Programming language Formal verification C Computing Software engineering Computer programming
442	Improving the Transition of Care for People with Diabetes Formal Title Improving the transition of care for people with diabetes Add to Reading List Source URL: www.rdns.com.au Language: English - Date: 2014-11-17 22:15:24 Endocrinology Diabetes management Diabetes mellitus Glycated hemoglobin Insulin Diabetes control and complications trial AIDA interactive educational freeware diabetes simulator Diabetes Endocrine system Medicine
443	The UU AG System Programming with Functions, Aspects, Attributes, and Catamorphisms Andres L¨ oh Institute of Information and Computing Science Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Data types Formal languages Functional programming Recursion Parsing Attribute grammar Algebraic data type Cons ALGOL 68 Software engineering Computer programming Computing
444	Informatik - Forschung und Entwicklung manuscript No. (will be inserted by the editor) Florian Kamm¨ uller · S¨ oren Preibusch Add to Reading List Source URL: preibusch.de Language: English - Date: 2007-11-14 18:04:59 Model checking Assertion Formal methods Type system International Space Station Spaceflight Elevator Manned spacecraft
445	SCHOOL OF COMPUTER SCIENCE & ENGINEERING A Formal Model of the L4 µ-kernel API Using the B Method Rafal Kolanski Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Kernel Monolithic kernels Mach Thread Formal verification Linux kernel Operating system Ring Isabelle Computer architecture Computing L4 microkernel family
446	Toward a Multi-Strategy and Cooperative Discovery System Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 02:00:06 Formal sciences Machine learning Data analysis Data mining Knowledge discovery Linear regression Polynomial regression Database Statistics Econometrics Regression analysis
447	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
448	Ordnance Survey Position paper: Social Networks as a Future Geographical Data Source1 Ian Holt and Jennifer Green, Ordnance Survey of Great Britain {Ian.Holt, Jenny.Green}@ordnancesurvey.co.uk As the national mapping age Add to Reading List Source URL: www.w3.org Language: English - Date: 2008-11-27 11:39:57 Data analysis Formal sciences Vernacular geography Gazetteer Data mining Geographic information system GumTree Ordnance Survey Science Geography Cartography
449	Enforceable Security Policies FRED B. SCHNEIDER Cornell University A precise characterization is given for the class of security policies enforceable with mechanisms that work by monitoring system execution, and automata Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 17:13:32 Formal methods Security Büchi automaton Computer security State Security policy Kernel Finite-state machine Models of computation Automata theory Theoretical computer science
450	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods

UPDATE